12.08/16.46	unsat
