12.96/13.41	unsat
