12.28/16.56	unsat
