26.06/26.15	unsat
