12.05/12.56	unsat
