12.06/13.38	unsat
