18.45/20.45	unsat
