17.27/18.43	unsat
