12.96/13.16	unsat
