12.96/13.24	unsat
