18.36/20.43	unsat
