10.18/11.54	unsat
