13.05/17.43	unsat
