18.45/19.43	unsat
