19.45/22.33	unsat
