12.00/25.94	unsat
